xenpaging: drop xc.c, remove xc_wait_for_event

xc_wait_for_event is not used in xenpaging.

Signed-off-by: Olaf Hering <olaf@aepfle.de>
Committed-by: Ian Jackson <ian.jackson.citrix.com>

diff --git a/tools/xenpaging/xc.c b/tools/xenpaging/xc.c
index 754da4cb276481e115d0a5942a4351e775b857c0..26b8d0fd729780d9f286783eb08c0b110c577fbb 100644 (file)
--- a/tools/xenpaging/xc.c
+++ b/tools/xenpaging/xc.c
@@ -91,10 +91,6 @@ int xc_wait_for_event_or_timeout(xc_interface *xch, xc_evtchn *xce, unsigned lon
     return -errno;
 }
 
-int xc_wait_for_event(xc_interface *xch, xc_evtchn *xce)
-{
-    return xc_wait_for_event_or_timeout(xch, xce, -1);
-}
 
 
 

diff --git a/tools/xenpaging/xc.h b/tools/xenpaging/xc.h
index e554755901ddd0618b55ec4379694ba96b28f26e..f0e714cfe1228e16f7052c93a7941d5f1baaff71 100644 (file)
--- a/tools/xenpaging/xc.h
+++ b/tools/xenpaging/xc.h
@@ -38,7 +38,6 @@
 
 
 int xc_mem_paging_flush_ioemu_cache(domid_t domain_id);
-int xc_wait_for_event(xc_interface *xch, xc_evtchn *xce);
 int xc_wait_for_event_or_timeout(xc_interface *xch, xc_evtchn *xce, unsigned long ms);